Performative Patterns for Designing Verifiable ACLs
نویسندگان
چکیده
When people hear two actors reciting a conversation in a poem, they become attuned to the kinds of sounds that they are producing, which may not be apparent in the printed text of the poem. This result depends on certain habitual patterns of how people read or how things should be read in a performance. Performative patterns suggest certain kinds of rhythmic possibilities, time, timbre and intonation, which are not written on the page. Although their scope is quite different we claim that agents’ conversations are subject to similar principles. In the same way agents’ conversations are not completely specified by the logical description of the involved performatives and rules governing speech act interaction are needed to guarantee a reproducible and thus verifiable behaviour. In this paper we present a set of performative patterns for ACLs which specify how performatives should be executed in a concurrent and reactive way with respect to a given logical semantics. We provide a classification of the KQML and FIPA performatives in these patterns and we show how several properties of Multi-Agent Systems can be inferred and verified if an ACL adopt this approach. 1. Dipartimento di Scienze dell’Informazione, University of Bologna, via Mura Anteo Zamboni 7, 40127 Bologna, Italy.
منابع مشابه
Designing for performative tangible interaction
We propose that designing tangibles for public interaction requires an understanding of both functional and non-functional aspects informed by Live Art theories. In this paper, we outline design requirements for performative tangible interaction, propose a framework for assessing performative interaction and demonstrate its use through four case studies of the iterative redesign of a highly por...
متن کاملA New Semantics for the FIPA Agent Communication Language Based on Social Attitudes
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics of such languages is a crucial prerequisite for the usefulness and acceptance of artificial agency. Nevertheless, those ACLs which are still mostly used, especially the standard FIPA-ACL, have a communication act sem...
متن کاملVerifiable Transaction Atomicity for Electronic Payment Protocols
We study the transaction atomicity problem for designing electronic payment protocols in distributed systems. We observe that the techniques that are used to guarantee transaction atomicity in a database system are not robust enough to guarantee transaction atomicity in an electronic payment system, in which a set of dishonest or malicious participants may exhibit unpredictable behavior and cau...
متن کاملInteracting Components
SystemCSP is a graphical modeling language based on both CSP and concepts of component-based software development. The component framework of SystemCSP enables specification of both interaction scenarios and relative execution ordering among components. Specification and implementation of interaction among participating components is formalized via the notion of interaction contract. The used a...
متن کامل